Matheus (Michael) (hrsg), Lebenswelten Johannes Gutenbergs

Friedrich Anderhuber, Franz Pera und Johannes Streicher (Hrsg): Waldeyer Anatomie des Menschen

Das einbändige und knapp 1050 Seiten starke Lehrbuch der Anatomie umfasst die gesamte makroskopische Anatomie desMenschen. Das Buch gliedert sich in einen einführenden Teil und behandelt dann kapitelweise die allgemeine Anatomie, Haut und Hautanhangsgebilde, den Bewegungsapparat, die inneren Organe, Kopf und Hals, Auge und Ohr sowie das Zentrale Nervensystem. Die Kapitel beinhalten sämtlich Dar...

Counting Answer Sets via Dynamic Programming Author=Johannes Fichte, Markus Hecher, Michael Morak, Stefan Woltran

While the solution counting problem for propositional satisfiability (#SAT) has received renewed attention in recent years, this research trend has not affected other AI solving paradigms like answer set programming (ASP). Although ASP solvers are designed to enumerate all solutions, and counting can therefore be easily done, the involved materialization of all solutions is a clear bottleneck f...

Johannes Holtfreter

An interview with Matheus Melo Pithon

During one of my trips to the Universidade Federal do Rio de Janeiro (UFRJ), as a PhD resident, Dr. Antônio Carlos Ruellas greeted me with his usual kindness and told me: “Let’s go to the lab. I would like to introduce you to two new orthodontic residents who graduated from a Dental School at your home state. They are excellent and they write really good papers.” One of them was Dr. Matheus M. ...

Oliver Kopp , Niels Lohmann ( Hrsg . )

We outline a fundamental approach to behavioral aspects of services. In the center of this approach, we see behavioral models of services, interactions, and finite representations of sets thereof. Several operations and relations can be defined and their implementation on our representations can be studied. Finally, a number of interesting problems can be traced back to our models and operation...